SciLib: A Lean-Based Framework Brings Machine-Checkable Formal Verification to Scientific Theories
CatAstro_Piyush · x · 2026-10-23
An OSI Hackathon submission, SciLib is a Lean-based framework (Lean → Mathlib → Physlib → SciLib) that models scientific theories and experiments as a graph of derivations, contradictions, and interpretations, with lab simulation interfaces — demoed on classic physics cases from Balmer's formula to Bohr's atomic model.
More from Research
- NanoStories: 50M-story TinyStories-style dataset generated by rules in 10 minutes — Tall_Abrocoma_3533 · 2026-10-23
- Is formally verifying an AI agent sandbox a Millennium Prize-level problem? — teortaxesTex · 2026-10-23
- General Reasoning's RLCR trains agent organizations with collective rewards — hierarchies emerge — daniel_mac8 · 2026-10-23
- JUICE: one flow-matching Transformer unifies image and text generation, hitting 0.88 GenEval — pratyusha_PS · 2026-10-23
- DeepMind's Verena Rieser to keynote EMNLP 2026 on a science of constitutional alignment — verena_rieser · 2026-10-23
- Anthropic uses Claude to write 180M lines of proofs, verifying 123 open-source libraries — The Decoder · 2026-10-23