Agda, Coq, Isabelle, Lean, Theorem Proving, Interactive Verification
Polynomial-Time Approximation Schemes via Utility Alignment: Unit-Demand Pricing and More
arxiv.org·1d
TableMoE: Neuro-Symbolic Routing for Structured Expert Reasoning in Multimodal Table Understanding
arxiv.org·15h
Loading...Loading more...