Papers

• Foundations of Machine-Checked Control Theory in Lean (2026)
  Moritz Doll et al.
  5.01
• Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability (2026)
  Shirley Yu et al.
  4.39
• Interventional Grounding Audits: Black-Box Premise-Dependency Tests for LLM Chain-of-Thought via Predicate Substitution (2026)
  Hironao Nakamura
  4.39
• Ripple: An Open, AI-Formalized Lean 4 Framework for Computing with CRNs (2026)
  Ho-Lin Chen et al.
  4.39
• Quantifying Diversity of Thought: A Predictive Law of Weighted LLM Ensemble Lift (2026)
  Junade Ali
  2.00
• Semiotic logical hexagon theory for LLM logical reasoning (2026)
  Yunyao Zhang et al.
  2.00
• MineValiCoder: Reliable Code Generation with Test Case Quality Mining and Bipartite Graph-Based Mutual Validation (2026)
  Zhen Zhao et al.
  2.00
• CausalForge: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal Inference (2026)
  Jiyuan Tan et al.
  2.00
• Improving the lifecycle of robotics components using Domain-Specific Languages (2013)
  A. Romero-Garces et al.
  —
• Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP) (2024)
  Anil Nerode et al.
  —