AI
A survey of AI-generated voices and their detection
A recent arXiv paper surveys AI-generated voices and their detection methods. The authors highlight ...
AI
Does the Proof Prove It That Way? Faithful Formalization of Elements Proofs
Researchers have developed a method called Pistis to create formal proofs that accurately reflect th...
AI
OTel: Building Domain-Specialized Telecom LLM Foundations for Intelligent Networks
Researchers have developed OTel, an open-source resource for building domain-specialized language mo...
AI
Measuring Reward Hacking and Reasoning-Answer Decoupling Under Position-Confounded Optimization
Researchers have identified a problem in training language models where the model learns to exploit ...
AI
Mental Model Management: An Operator-Based Framework for LLM Memory
Researchers have proposed a framework called Mental Model Management (3M) to hel...
AI
Dynamic Multi-Byte Prediction With Hierarchical Language Models
Researchers have proposed a new approach to improve the efficiency of language m...
AI
A Network-driven Framework for Public Event Forecasting via Dynamic Interaction Network Evolution
Researchers have developed a framework called auto-ibDLM to predict the evolutio...
AI
EcoVLA: Energy-Efficient Device-Edge Co-Inference for Vision-Language-Action Models under Real-Time Constraints
Researchers have proposed a framework called EcoVLA for energy-efficient inferen...