Do I want Coders to Code?
🏃Escape Analysis
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·5h
🔍CBMC
Flag this post
Balancing Interpretability and Performance in Motor Imagery EEG Classification: A Comparative Study of ANFIS-FBCSP-PSO and EEGNet
arxiv.org·5h
🧠Automated Reasoning
Flag this post
Cognitive Alignment in Personality Reasoning: Leveraging Prototype Theory for MBTI Inference
arxiv.org·5h
📚Automata Learning
Flag this post
Learning Complementary Policies for Human-AI Teams
arxiv.org·5h
📚Automata Learning
Flag this post
What a diff makes: automating code migration with large language models
arxiv.org·5h
📦Opam
Flag this post
Loquetier: A Virtualized Multi-LoRA Framework for Unified LLM Fine-tuning and Serving
arxiv.org·5h
🐫OCaml
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.com·16h
👁️Observability
Flag this post
SpatialTraceGen: High-Fidelity Traces for Efficient VLM Spatial Reasoning Distillation
arxiv.org·5h
🧩Separation Logic
Flag this post
CompAgent: An Agentic Framework for Visual Compliance Verification
arxiv.org·5h
🧩Separation Logic
Flag this post
Can Your AI Blackmail You? Inside the Security Risk of Agentic Misalignment
🎮Verification Games
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.org·1d
📚Automata Learning
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·5h
⚡Process Calculi
Flag this post
Confounding Factors in Relating Model Performance to Morphology
arxiv.org·5h
🧩Parser Combinators
Flag this post
MambaNetLK: Enhancing Colonoscopy Point Cloud Registration with Mamba
arxiv.org·5h
🔲Cellular Automata
Flag this post
Token-Regulated Group Relative Policy Optimization for Stable Reinforcement Learning in Large Language Models
arxiv.org·5h
🧩Parser Combinators
Flag this post
Probing Knowledge Holes in Unlearned LLMs
arxiv.org·5h
🔍CBMC
Flag this post
Towards Reliable Pediatric Brain Tumor Segmentation: Task-Specific nnU-Net Enhancements
arxiv.org·5h
🎨GADTs
Flag this post
Weakly Supervised Concept Learning with Class-Level Priors for Interpretable Medical Diagnosis
arxiv.org·5h
🔍CBMC
Flag this post
Loading...Loading more...