formal-theory

Tag

Cards List
#formal-theory

When the Canonical Completion Is Wrong: Formalizing and Measuring the Jump in Large Language Models

arXiv cs.CL ↗ · 2026-08-28 Cached

This paper formalizes and measures the 'jump' in large language models, where they abandon default completions for correct ones, and finds that LLMs successfully jump in experimental trials.

0 favorites 0 likes
#formal-theory

Human-AI Coevolution Dynamics: A Formal Theory of Social Intelligence Emergence Through Long-Term Interaction

arXiv cs.AI ↗ · 2026-06-18 Cached

Proposes the Human-AI Coevolution Dynamics Framework (HACD-H) as a formal model of human-AI interaction, integrating emotional adaptation, relational organization, social memory, and personality consistency. Results show social intelligence emerges from long-term social cognitive coevolution.

0 favorites 0 likes
#formal-theory

Indirect Computing Model with Indirect Formal Method

arXiv cs.CL ↗ · 2026-06-15 Cached

This paper proposes an indirect computing model and indirect formal method for optimizing cloud computing, using Chinese information data as an example to transition from data centers to knowledge centers.

0 favorites 0 likes
← Back to home

Submit Feedback