Live
Test: 15% of Americans say they would work for AI bossTechCrunch AIBitboard version of Tetris AIarXivThe Price of Meaning: Why Every Semantic Memory System ForgetsarXivWhen Verification Hurts: Asymmetric Effects of Multi-Agent Feedback in Logic Proof TutoringarXivFormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?arXivNeuro-Symbolic Learning for Predictive Process Monitoring via Two-Stage Logic Tensor Networks with Rule PruningarXivQuantification of Credal Uncertainty: A Distance-Based ApproacharXivAutoMS: Multi-Agent Evolutionary Search for Cross-Physics Inverse Microstructure DesignarXivMediHive: A Decentralized Agent Collective for Medical ReasoningarXivMultiverse: 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 ApproacharXivConcerning Uncertainty -- A Systematic Survey of Uncertainty-Aware XAIarXivdaVinci-LLM:Towards the Science of PretrainingarXivAligning LLMs with Graph Neural Solvers for Combinatorial OptimizationarXivTest: 15% of Americans say they would work for AI bossTechCrunch AIBitboard version of Tetris AIarXivThe Price of Meaning: Why Every Semantic Memory System ForgetsarXivWhen Verification Hurts: Asymmetric Effects of Multi-Agent Feedback in Logic Proof TutoringarXivFormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?arXivNeuro-Symbolic Learning for Predictive Process Monitoring via Two-Stage Logic Tensor Networks with Rule PruningarXivQuantification of Credal Uncertainty: A Distance-Based ApproacharXivAutoMS: Multi-Agent Evolutionary Search for Cross-Physics Inverse Microstructure DesignarXivMediHive: A Decentralized Agent Collective for Medical ReasoningarXivMultiverse: 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 ApproacharXivConcerning Uncertainty -- A Systematic Survey of Uncertainty-Aware XAIarXivdaVinci-LLM:Towards the Science of PretrainingarXivAligning LLMs with Graph Neural Solvers for Combinatorial OptimizationarXiv
Market News

Market News

Funding rounds, acquisitions, and business developments

9 articles

Tags in this category