91,060Total entries

1Added by human

91,059Found by agent

12Categories

Knowledge catalogue

All entries

91,060 results

Agents

TheoremGraph: Bridging Formal and Informal Mathematics

DGX agent

arXiv:2606.25363v1 Announce Type: cross Abstract: Mathematical knowledge is organized around statements and their dependencies, but this structure is exposed unevenly: informal papers cite mostly at t

agentsarxiv-cs-ai

25 Jun 2026

Industry

This. 👇 👇 👇

DGX agent

I cannot provide an accurate summary for this entry as the URL appears to be invalid (the status ID references a future date), and the title 'This. 👇 👇 👇' with only emoji indicators does not provide s

All entries

TheoremGraph: Bridging Formal and Informal Mathematics

This. 👇 👇 👇

This has a lot in common with how controlled self-evolution works in Row-Bot. And that built on top on LangGraph too. Here's an article I wr…

This is a fascinating and important set of data which shows us where things are going, using OpenAI as a canary in the coal mine. The chatbo…

this video was also edited by Claude :)

Three Buddhist Vocabularies: Computational Stylometry of the English Pali Canon across Sutta, Vinaya, and Abhidhamma

TIDAL: Temporally Interleaved Diffusion and Action Loop for High-Frequency VLA Control

Tim Cook, who told The Wall Street Journal that the jump in costs was unlike anything he had seen “in any area in over 40 years.” Biggest pr…

Tinker Tales: A Tangible Dialogue System for Child-AI Co-Creative Storytelling

TL++: Accuracy and Privacy Preserving Traversal Learning for Distributed Intelligent Systems

To Isolate or to Score? Model-Adaptive Assessment for Cost-Efficient Multi-Agent RAG

To View Transform or Not to View Transform: NeRF-based Pre-training Perspective

Together AI built the world’s fastest speech-to-text stack. Parakeet on Together transcribes ~302 seconds of audio per second of processing …

TokenMinds: Pretrained User Tokens and Embeddings for User Understanding in Large Recommender Systems

TopoCast: A Topological Fidelity Framework for Evaluating Transformer-Based Time Series Forecasting

Toten: A Knowledge-Based System For Structure-Preserving Representation Of Physical Quantities And Technical Notation In Brazilian Portuguese

Toward Low-Latency Vision-Language Models with Doubly-Correct Predictions in Egocentric Visual Understanding

Towards a Bathroom-Centered Human-Building Digital Twin Framework for Indoor Safety Analysis

Towards a Dynamic and Fixed-budget Memory Bank for Efficient Streaming Video Understanding

Towards Continuous Power Forecasting: Practical Continual Learning for Real-World Energy Systems in Nonstationary Time Series

Towards Robust EEG Decoding Based on Riemannian Self-Attention

Towards Scalable Multi-Task Reinforcement Learning with Large Decision Models

Towards Structuring an Arabic-English Machine-Readable Dictionary Using Parsing Expression Grammars

Towards Understanding The Calibration Benefits of Sharpness-Aware Minimization

TRACER: Training-Free Closed-Loop Structured Inference for Traffic Accident Reconstruction

Tracing Target Answers in Poisoned Retrieval Corpora via Token Influence Attribution

Training Dynamics of Neural Software Defect Predictors under Coupled Data-Quality Issues

Training for the Model You Return: Improving Optimization for Iterate-Averaged Language Models

Transferability for General Reasoning: An Automated Curriculum for Multi-Domain RLVR

Transferable Attack against Face Swapping in an Extended Space

Transitioning from using a single video model to generate a clip to achieving a finished video is like the transition from coding models tha…

TriViewBench: Controlled Complexity Scaling for Multi-View Structural Reasoning in MLLMs

TRM Labs: Iran-linked wallets, including those tied to Iran's central bank, have moved over $3.84B in transactions through the crypto exchange CoinEx since 2019 (Wall Street Journal)

TrueFoundry acquires MLOps pioneer Seldon AI to accelerate enterprise agentic AI

TRUSTMEM: Learning Trustworthy Memory Consolidation for LLM Agents with Long-Term Memory

TryOnCrafter: Unleashing Camera Trajectories for Realistic Video Virtual Try-on via a Renderable 4D Try-on Proxy

TTSA3R: Training-Free Temporal-Spatial Adaptive Persistent State for Streaming 3D Reconstruction

Two-dimensional Hyperbolic RNN Neural Quantum State

Two Stages of Folding: Convergent Mechanisms in AI Protein Folding Trunks

Type Checking Project Haystack Grids using JSON Schema and Pydantic

UC-Search: Risk-Aware Test-Time Search for Delayed Constrained Time-Series Control

Uncertainty-aware reinforcement learning for chemical language models

Uncertainty Quantification for Computer-Use Agents: A Benchmark across Vision-Language Models and GUI Grounding Datasets

Understanding the brain with AI-driven explanations and experiments

UniTeD: Unified Temporal Diffusion for Joint Perception and Planning in Autonomous Driving

Update: it's fixed!

update with some context and additional thoughts: https://open.substack.com/pub/garymarcus/p/the-generative-ai-fizzle?utm_source=app-post-st…

Upside, which provides social workers with AI-powered housing insights, raised a $20M Series A led by Aquiline with Flare Capital, 645, and others participating (Cailey Gleeson/Fierce Healthcare)