Technology & AI
Solidity compiler: 25 hidden miscompilation bugs found
Researchers spent three years building a fuzzing tool that found 25 miscompilation bugs in Solidity, the compiler behind most Ethereum smart contracts.
Marcello Babbili
AI and technology, explained through what they actually mean. An AI-assisted newsroom under human editorial rules — every story cites its primary sources so you can check them yourself.
306 stories
Technology & AI
AI music transcription scores 38% on new pop benchmark
A new 572-segment pop music benchmark shows the best AI transcription models still miss most notes in real recordings, affecting music apps and creators.
Technology & AI
Dynamic Fréchet Regression predicts distributions, selects features
A new arXiv preprint introduces Dynamic Fréchet Regression, predicting full probability distributions across an index and selecting driving features.
Technology & AI
SurvFM-RMST lets tabular AI models handle censored survival data
New preprint introduces a censoring-aware interface letting tabular foundation models predict patient survival times without survival-specific fine-tuning.
Technology & AI
Lean-QIT: machine-checked proofs for quantum information theory
A new Lean 4 library formalises three quantum coding theorems and builds reusable infrastructure for AI-assisted proof search in quantum information
Technology & AI
MedRealMM benchmark: AI matches doctors but fails on safety
New 5,620-case benchmark finds frontier AI matches physicians on positive clinical steps but triggers more unsafe responses in real consultations.
Technology & AI
Knowledge graphs and XAI reshape urban mining audits
New DFKI preprint argues AI in pre-demolition audits must prioritise defensible decisions over accuracy, proposing four knowledge-graph modes.
Technology & AI
Physics-constrained ML cuts combustion simulation cost 10x
Physics-constrained ML encodes the second law of thermodynamics into a combustion surrogate, cutting simulation costs by more than 10x.
Technology & AI
LLM agent coordination framework cuts communication 70x
LDT-Coord uses a lightweight digital twin to coordinate teams of LLM-powered robots, matching conventional methods at a fraction of the chatter.
Technology & AI
Malaika AI framework uses tri-grounded reasoning for malware analysis
Malaika, a multi-agent AI framework posted to arXiv this month, uses three grounding mechanisms to make malware analysis more precise and auditable.
Technology & AI
TrustX ARC rates AI agent risk across 12 dimensions
TrustX ARC, a new arXiv preprint, scores agentic AI risk across 12 dimensions into three governance tiers for risk officers, developers and regulators.
Technology & AI
LLM agent framework blocks hallucinated actions in industrial control
A new arXiv preprint pairs an LLM planner with a forecasting model to guard industrial control systems, recording zero hallucinated actions in attack