On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
Main public logs
From WG 2.11
Jump to navigationJump to search
Combined display of all available logs of WG 2.11. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 20:13, 21 November 2025 Jacques talk contribs created page WG211/M25Barke (Created page with "Toward Trustworthy LLM Generation: From Verifiable Proofs to Reliable Agents Verifiable programming provides a concrete foundation for trustworthy LLM generation. This talk introduces DeepProof-32B, a 32-billion-parameter reasoning model designed for program verification and trained with reinforcement learning from verifiable rewards, achieving state-of-the-art performance among open models. The first part distills lessons from building models that can reason about thei...")
