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ยท15h
Letters
lrb.co.ukยท11h
Getting Started With Elixir and Phoenix, a JS Alternative
thenewstack.ioยท15h
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
Snail Homing and Mating Search Algorithm for Weight Optimization of Stepped-Transmission Shaft
arxiv.orgยท46m
Towards Trustworthy Agentic IoEV: AI Agents for Explainable Cyberthreat Mitigation and State Analytics
arxiv.orgยท1d
MedFact: Benchmarking the Fact-Checking Capabilities of Large Language Models on Chinese Medical Texts
arxiv.orgยท1d
Loading...Loading more...