Eris theorem proving environment updates with direct manipulation
round · x · 2026-08-21
Progress on Eris, an environment designed for direct manipulation theorem proving. The post demonstrates a simple logical deduction of P from the premise ((P ∧ Q) ∧ (R ∧ P)) using two ∧-eliminations.
More from Research
- Anthropic releases protein binder design dataset with wet lab validation — anshulkundaje · 2026-08-21
- Paper 'SCALE' Accepted to EMNLP 2026 — RatnRajiv · 2026-08-21
- Lingjie Liu Receives ACM SIGGRAPH Significant New Researcher Award — thoma_gu · 2026-08-21
- Pre-training sets low-rank geometry, RL fine-tunes shape — yunta_tsai · 2026-08-21
- Mars is the experiment robot learning can't run on Earth — Dr_Singularity · 2026-08-21
- Building 1800 Genes in One Tube: Implications for AI Screening — NikoMcCarty · 2026-08-21