Live
Quantification of Credal Uncertainty: A Distance-Based ApproacharXivAligning LLMs with Graph Neural Solvers for Combinatorial OptimizationarXivMediHive: A Decentralized Agent Collective for Medical ReasoningarXivAutoMS: Multi-Agent Evolutionary Search for Cross-Physics Inverse Microstructure DesignarXivFormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?arXivdaVinci-LLM:Towards the Science of PretrainingarXivBitboard version of Tetris AIarXivWhen Verification Hurts: Asymmetric Effects of Multi-Agent Feedback in Logic Proof TutoringarXivThe Price of Meaning: Why Every Semantic Memory System ForgetsarXivMultiverse: Language-Conditioned Multi-Game Level Blending via Shared RepresentationarXivTransparency as Architecture: Structural Compliance Gaps in EU AI Act Article 50 IIarXivCompliance-Aware Predictive Process Monitoring: A Neuro-Symbolic ApproacharXivNeuro-Symbolic Learning for Predictive Process Monitoring via Two-Stage Logic Tensor Networks with Rule PruningarXivConcerning Uncertainty -- A Systematic Survey of Uncertainty-Aware XAIarXivSelf-evolving AI agents for protein discovery and directed evolutionarXivQuantification of Credal Uncertainty: A Distance-Based ApproacharXivAligning LLMs with Graph Neural Solvers for Combinatorial OptimizationarXivMediHive: A Decentralized Agent Collective for Medical ReasoningarXivAutoMS: Multi-Agent Evolutionary Search for Cross-Physics Inverse Microstructure DesignarXivFormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?arXivdaVinci-LLM:Towards the Science of PretrainingarXivBitboard version of Tetris AIarXivWhen Verification Hurts: Asymmetric Effects of Multi-Agent Feedback in Logic Proof TutoringarXivThe Price of Meaning: Why Every Semantic Memory System ForgetsarXivMultiverse: Language-Conditioned Multi-Game Level Blending via Shared RepresentationarXivTransparency as Architecture: Structural Compliance Gaps in EU AI Act Article 50 IIarXivCompliance-Aware Predictive Process Monitoring: A Neuro-Symbolic ApproacharXivNeuro-Symbolic Learning for Predictive Process Monitoring via Two-Stage Logic Tensor Networks with Rule PruningarXivConcerning Uncertainty -- A Systematic Survey of Uncertainty-Aware XAIarXivSelf-evolving AI agents for protein discovery and directed evolutionarXiv