Automated Programming, Formal Specifications, Code Generation, Proof Search
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·13h
Loading...Loading more...
Automated Programming, Formal Specifications, Code Generation, Proof Search