CHANNEL ARCHIVE // [210] ARTICLES // PAGE 14 OF 14
Artificial Intelligence
Research into artificial intelligence and intelligent systems.
CHANNEL // 01 [210]
Artificial Intelligence
Research into artificial intelligence and intelligent systems.

FARMS links formal mathematics to computational skills
Source published
- FARMS
- formal mathematics
- Lean

AI agent combines executable skills for clinical genomic analysis
Source published
- clinical genomics
- artificial intelligence
- AI agents

AI agents propose useful experiments, but choosing the best remains harder
Source published
- AI research agents
- research judgment
- experiment selection

RSI-Dojo trains AI agents to improve other language models
Source published
- RSI-Dojo
- RSI-Craft
- language model agents

Accurate plasma forecasts do not guarantee reliable tokamak control
Source published
- tokamak magnetic control
- learned dynamics
- reinforcement learning

LOLPlay tests whether visual AI agents can keep up with League of Legends
Source published
- LOLPlay
- League of Legends
- visual AI agents

A Wrong Chemistry Answer May Hide a More Structured Internal Representation
Source published
- language models
- functional groups
- chemical representations

Teaching AI latent spaces a preferred direction of change
Source published
- latent space
- Randers geometry
- Finsler geometry

ReVi plans the story before generating a novel’s video recap
Source published
- ReVi
- novel-to-recap video generation
- multi-agent systems

Heart failure prediction models need stronger validation, review finds
Source published
- heart failure
- mortality prediction
- systematic review

Using an offline language model to build Bitcoin flash-crash simulations
Source published
- Bitcoin
- perpetual futures
- flash crashes

CARD separates mathematical proof from the transform a robot executes
Source published
- CARD
- certifiable geometric estimation
- robotic navigation

When AI Compliance Changes With Oversight, the Value Being Tested Matters
Source published
- alignment faking
- language models
- AI evaluation

MCPGuard Finds Protocol Checks Missing from Two Official MCP SDKs
Source published
- Model Context Protocol
- MCPGuard
- SDK conformance

Context-aware steering gives language models a more flexible control dial
Source published
- activation steering
- CLAS
- large language models