cd/sources/machinebrief-auto-discovered· home› sources› Machinebrief (auto-discovered)
cat /sources/machinebrief-auto-discovered.feed | wc -l → 5016

Machinebrief (auto-discovered)

articles 5016 domain machinebrief.com → page 27/251 feed RSS
04:00
2026-09-17
machinebrief.com
ai-agents

Symbolic Temporal Supervision of LLM Agents Using Contracts

Researchers introduced ContrAgent, a contract-based framework that uses assume-guarantee contracts in linear temporal logic over finite traces (LTLf) to supervise LLM agents, compiling each contract i…

04:00
2026-09-17
machinebrief.com
ai-agents

WFM: Wiki Foundation Model for Complex Agentic Reasoning

Researchers proposed WFM, a Wiki Foundation Model for scalable, agent-native knowledge representation and retrieval, detailed in arXiv paper 2609.18182v1. WFM formalizes a Wiki Graph schema coupling d…

04:00
2026-09-17
machinebrief.com
artificial-intelligence

Disentangling Long-Term Memory via Latent Neuro-Symbolic Reasoning

Researchers introduced LGM, a neuro-symbolic framework that disentangles long-term memory in a continuous latent space for personalized agents, according to an arXiv paper (arXiv:2609.18461v1). LGM us…

04:00
2026-09-17
machinebrief.com
artificial-intelligence

Voice of Reason: Reinforcement Learning for Spoken Math

Applying reinforcement learning with verifiable rewards to the GLM-4-Voice speech model raised free-form accuracy on the GSM8K math benchmark to 74.8%, a new state of the art for speech-native models,…

← prev page 27 / 251 next →