Interactive Proving, Tactic Composition, Proof Automation, Mathlib
Effective Code Reviews with Conventional Comments • Paul Slaughter & Adrienne Braganza
youtube.com·6h
Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations
arxiv.org·1d
Multilinear and Linear Programs for Partially Identifiable Queries in Quasi-Markovian Structural Causal Models
arxiv.org·15h
Loading...Loading more...