2 citations · 4 across the 6 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.AI2026
Formal Disco: Scalable Open-Ended Generation of Formally Verified Programs
Gabriel Poesia, Simon Henniger, Tzu-Han Hsu +2
The cost of producing code is rapidly diminishing with increasingly capable AI agents, while quality assurance of generated programs has not kept pace. Formal verification provides…
cs.AI2026
HyPOLE: Hyperproperty-Guided Multi-Agent Reinforcement Learning under Partial Observation
Arshia Rafieioskouei, Tzu-Han Hsu, Matthew Lucas +1
Formal specification is a powerful tool to guide the learning process and provides significant advantages over reward shaping: (1) mathematical rigor; (2) expressiveness to specify…