AI
From Doyle to AGM: A Survey and an Implementation Roadmap for Belief Change
The authors provide a comprehensive review of the history and development of computational belief ch...
AI
Position: AI Governance Needs ISO-like Interoperability Protocols, Not Just Laws
The authors argue that current approaches to AI governance, which rely on jurisdiction-specific laws...
AI
Position: Certified Correctness in Neural Constraint Reasoning Requires Symbolic Integration
Researchers argue that neural networks used for constraint satisfaction problems must be integrated ...
AI
Position: Want Better ML Reviews? Stop Asking Nicely and Start Incentivizing with a Credit System
The machine learning community has a large presence in academic publishing, but reviewers often have...
AI
Longitudinal and Graph-Augmented Prediction of Adolescent Substance Use Onset in the ABCD Study
Researchers used data from over 11,000 adolescents in a large study to compare d...
AI
SKILL: Self-correcting Knowledge-guided Iterative Large Language Model Agent for Logic Optimization
Researchers have developed SKILL, a system that optimizes logic synthesis using ...
AI
OGX: An Open-Source, Vendor-Neutral Generative AI Application Server
OGX is an open-source AI application server and Python library that allows devel...
AI
Euclid-Omni : A Unified Neuro-Symbolic Framework for Plane Geometry
Researchers have developed a unified framework called Euclid-Omni for tackling p...