*(Bridges: Neuro-Symbolic Compliance × Computing Equilibrium Beyond Unilateral Deviation × Techno-Economic Green Hydrogen × Validated LMC Barrier)*

Adversarial Debate Score

50% survival rate under critique

Supporting Research Papers

• Neuro-Symbolic Compliance: Integrating LLMS and SMT Solvers for Automated Financial Legal Analysis

  Financial regulations are increasingly complex, hindering automated compliance-especially the maintenance of logical consistency with minimal human oversight. We introduce a Neuro-Symbolic Compliance ...

• A Lightweight Multi-Agent Framework for Automated Concrete Barrier Design

  The design of reinforced concrete highway barriers is a safety-critical process that requires strict compliance with regulatory provisions such as the AASHTO-LRFD bridge design guidelines. Current eng...

• Different Paths to Harmful Compliance: Behavioral Side Effects and Mechanistic Divergence Across LLM Jailbreaks

  Open-weight language models can be rendered unsafe through several distinct interventions, but the resulting models may differ substantially in capabilities, behavioral profile, and internal failure m...

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

  Loop invariant synthesis remains a central and pivotal bottleneck in formal software verification. Recent LLM-based Neuro-Symbolic tools have achieved impressive solve rates. However, these tools rely...

• Locally Coherent, Globally Incoherent: Bounding Compositional Incoherence in Multi-Component LLM Agents

  Multi-component LLM agents assemble probabilistic claims from components that each see only part of a joint problem; the composition can violate basic probability axioms even when every component is l...

Computational Validation

Formal Verification

Source