Type Synthesis, Type Checking, Local Inference, Elaboration
Verification of OS artifacts without stateful keyrings (asg2025)
cdn.media.ccc.deยท10h
Agentic Design Patterns with LangGraph
pub.towardsai.netยท9h
Talk in Pieces, See in Whole: Disentangling and Hierarchical Aggregating Representations for Language-based Object Detection
arxiv.orgยท21h
Bidirectional Intention Inference Enhances LLMs' Defense Against Multi-Turn Jailbreak Attacks
arxiv.orgยท21h
CMT: Mid-Training for Efficient Learning of Consistency, Mean Flow, and Flow Map Models
arxiv.orgยท21h
Fin-Ally: Pioneering the Development of an Advanced, Commonsense-Embedded Conversational AI for Money Matters
arxiv.orgยท21h
TopoSPAM: Topology grounded Simulation Platform for morphogenesis and biological Active Matter
arxiv.orgยท21h
GeLoc3r: Enhancing Relative Camera Pose Regression with Geometric Consistency Regularization
arxiv.orgยท21h
Loading...Loading more...