NESA presents a neuro-symbolic framework that decomposes static analyses into policy-defined sub-problems solved by parsers and LLMs to enable compilation-free customizable analysis with reduced hallucinations.
Semfix: program repair via semantic analysis
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
representative citing papers
ContractSkill converts draft web agent skills into explicit executable contracts that enable deterministic verification, fault localization, and minimal local repair, improving stability on benchmarks like VisualWebArena.
Anzen introduces three unequivocal assignment operators and a type-capability system for uniqueness and immutability, formalized via minimal calculus.
citing papers explorer
-
NESA: Relational Neuro-Symbolic Static Program Analysis
NESA presents a neuro-symbolic framework that decomposes static analyses into policy-defined sub-problems solved by parsers and LLMs to enable compilation-free customizable analysis with reduced hallucinations.
-
ContractSkill: Repairable Contract-Based Skills for Multimodal Web Agents
ContractSkill converts draft web agent skills into explicit executable contracts that enable deterministic verification, fault localization, and minimal local repair, improving stability on benchmarks like VisualWebArena.
-
Explicit and Controllable Assignment Semantics
Anzen introduces three unequivocal assignment operators and a type-capability system for uniqueness and immutability, formalized via minimal calculus.