Curry-Howard, Proposition Types, Constructive Logic, Verification
Letters
lrb.co.ukยท8h
Getting Started With Elixir and Phoenix, a JS Alternative
thenewstack.ioยท12h
Linkage
11011110.github.ioยท2d
Verlog: A Multi-turn RL framework for LLM agents
blog.ml.cmu.eduยท2d
Spec-Driven Development in a Startup
pub.towardsai.netยท1d
MedFact: Benchmarking the Fact-Checking Capabilities of Large Language Models on Chinese Medical Texts
arxiv.orgยท21h
Loading...Loading more...