Julian Parsert

RPTU Kaiserslautern

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Reasoning & Chain-of-Thought (1)

Frequent co-authors

Muhammad A. A. Pirzada (1)Weiqi Wang (1)Konstantin Korovin (1)Lucas C. Cordeiro (1)

Papers (1)

Jun 15, 2026

Jun 15, 2026·also RPTU Kaiserslautern, ZJU

Neuro-Symbolic Software Verification: Hyper-charging Local Language Models with Symbolic Reasoning at Scale

VerIbmc solves 431 out of 499 software verification problems using local models, proving that high-performance neuro-symbolic reasoning can be achieved without cloud dependency.

Muhammad A. A. Pirzada, Julian Parsert, Weiqi Wang +2

Code Generation & Program Synthesis Reasoning & Chain-of-Thought

Search

Julian Parsert

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)