TypeSafe AI introduces System One Models and Jev, a new class of frontier AI models optimized for fast, structured, type-safe decisions rather than text generation. Jev achieves comparable intelligence to existing LLMs …
This paper proposes tensor logic, a programming language that unifies neural and symbolic AI through tensor equations based on the equivalence between logical rules and Einstein summation. The language elegantly …
A pre-registered field experiment with 776 Procter & Gamble professionals found that individuals using AI matched the performance of two-person teams, broke down functional silos between R&D and Commercial roles, …
A comprehensive survey of machine learning applications in financial markets, covering return prediction models, risk-return factor models, stochastic discount factor estimation, and optimal portfolio construction. The …
A modern re-examination of the classic 1979 paper arguing against formal verification, exploring how AI coding agents and recent tooling advances have changed the landscape. The author revisits each historical objection …
This paper presents a validation-centric workflow for AI-assisted GPU porting of CReSS, a 250,000+ line legacy Fortran weather simulation code, achieving a 5.1× speedup while preserving scientific validity across 162 …
This survey provides a systematic overview of how Large Language Models are transforming knowledge graph construction across ontology engineering, knowledge extraction, and knowledge fusion. It analyzes schema-based and …
Researchers from Wharton tested whether threatening or tipping AI models improves performance on GPQA Diamond and MMLU-Pro benchmarks across five models. Results show these popular ‘folk prompting’ strategies …
ActiveGraph introduces an event-sourced runtime where an append-only log serves as the primary source of truth for AI agents, with graph state as a deterministic projection of that log. This architecture enables …
Zep is a memory layer service for AI agents powered by Graphiti, a temporally-aware knowledge graph engine that dynamically integrates conversational and structured business data. It outperforms MemGPT on the Deep Memory …
