Proof Repair and (Co)algebra Equivalences conditionally accepted to POPL
LingmingZhang · x · 2026-10-07
Talia Ringer's paper "Proof Repair and (Co)algebra Equivalences" with Trey Plante, Eric Paul, Cosmo Viola and Alex Kavvos has been conditionally accepted to POPL. She credits her PhD students and collaborators for turning the intuitions of her thesis work into a precise, generalizable formalization.
More from Research
- LLM2Vec-Gen: frozen LLMs generate answer embeddings in one forward pass, SOTA self-supervised — sivareddyg · 2026-10-07
- Hybrid LMs like Qwen3.5 barely use their recurrent memory; a simple auxiliary pass fixes it — mohitban47 · 2026-10-07
- Researchers pitch World Editing: modifying existing worlds instead of generating new ones — yuntiandeng · 2026-10-07
- New paper asks: when agents act for you, whose side are they on? — ZacharyHuang12 · 2026-10-07
- AI's Top 10 research list: Spurious Rewards tops RL-heavy ranking — ShayneRedford · 2026-10-07
- SciConBench Team to Rerun Evaluations Every Two Months, Seeks Funding — manoelribeiro · 2026-10-07