Curry-Howard, Proposition Types, Constructive Logic, Verification
Evaluation of joint reliability of linear two-dimensional consecutive <math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si449.svg" display="inline" i...
sciencedirect.com·4h
Linkage
11011110.github.io·2d
Verlog: A Multi-turn RL framework for LLM agents
blog.ml.cmu.edu·2d
Contrastive Learning with Enhanced Abstract Representations using Grouped Loss of Abstract Semantic Supervision
arxiv.org·14h
Spec-Driven Development in a Startup
pub.towardsai.net·1d
LLM in the Middle: A Systematic Review of Threats and Mitigations to Real-World LLM-based Systems
arxiv.org·1d
Loading...Loading more...