Similar Items: Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT
- MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents
- On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
- Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
- Efficient Incremental #SAT via Cross-Instance Knowledge Reuse
- Computing Short SAT Implicants via Ising/QUBO Encodings