conftrace_

numerical computation

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

clinical entity (1) chinese medical (1) verifiable computation (1) succinct proof (1) constraint system (1) proof protocol (1) approximate satisfiability (1) large language model (1) medical ai (1) fine-grained evaluation (1)

Papers

Spain: Succinct Proofs for Numerical Computations OSDI 2026 CMedCalc-Bench: A Fine-Grained Benchmark for Chinese Medical Calculations in LLM EMNLP 2025