The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
🔁Fixed-Point Theory
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·2h
⚡Process Calculi
Flag this post
CompAgent: An Agentic Framework for Visual Compliance Verification
arxiv.org·2h
🧩Separation Logic
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·2h
⚙️Compiler Design
Flag this post
SpatialTraceGen: High-Fidelity Traces for Efficient VLM Spatial Reasoning Distillation
arxiv.org·2h
🧩Separation Logic
Flag this post
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.org·2h
🧩Parser Combinators
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·2h
🔀OCaml Multicore
Flag this post
Balancing Interpretability and Performance in Motor Imagery EEG Classification: A Comparative Study of ANFIS-FBCSP-PSO and EEGNet
arxiv.org·2h
🧠Automated Reasoning
Flag this post
Probing Knowledge Holes in Unlearned LLMs
arxiv.org·2h
🔍CBMC
Flag this post
Human-AI Programming Role Optimization: Developing a Personality-Driven Self-Determination Framework
arxiv.org·2h
λFunctional Programming
Flag this post
ShadowLogic: Backdoors in Any Whitebox LLM
arxiv.org·2h
🛡️seL4
Flag this post
AI Models Write Code with Security Flaws 18–50% of the Time, New Study Finds
🏃Escape Analysis
Flag this post
Visual Backdoor Attacks on MLLM Embodied Decision Making via Contrastive Trigger Learning
arxiv.org·1d
🎮Verification Games
Flag this post
OSMGen: Highly Controllable Satellite Image Synthesis using OpenStreetMap Data
arxiv.org·2h
📦OPAM
Flag this post
Efficient Curvature-aware Graph Network
arxiv.org·2h
🕸️Graph Theory
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·2h
⏱️Computational Complexity
Flag this post
Beyond ImageNet: Understanding Cross-Dataset Robustness of Lightweight Vision Models
arxiv.org·2h
❓Existential Types
Flag this post
Loading...Loading more...