:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Eden, Trenton
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.19897980
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Convergence by Density of Invariant Deposit: A Sheaf-Theoretic Constraint on Variant Operators
by: Eden, Trenton
Published: (2026)

The Universality Theorem: Swampland Constraints as Necessary Conditions of Consistent Structure-Realization
by: Eden, Trenton
Published: (2025)

FROM ALMOST ALL TO FINITE EXCEPTIONAL SET: A SPECTRAL COMPLETION OF TAOS COLLATZ RESULT
by: Eden, Trenton
Published: (2025)

An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)

Categorical Proof-Theoretic Semantics
by: Pym, David, et al.
Published: (2023)

Proof Identity and Categorical Models of BV
by: Acclavio, Matteo, et al.
Published: (2026)

Capturing Finite Target Dynamics: Phase-Delayed Analytic Modeling of Multi-Layer Penetration Events
by: Kirchdoerfer, Trenton
Published: (2025)

Proof Assistants for Teaching: a Survey
by: Minh, Frédéric Tran, et al.
Published: (2025)

Truncation, Negation, and Coherence Obstructions in Higher-Categorical Logic
by: Yugo Hidaka
Published: (2026)

Can Proof Assistants Verify Multi-Agent Systems?
by: Mendez, Julian Alfredo, et al.
Published: (2025)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
by: Frenkel, Eden, et al.
Published: (2026)

Cross-Architecture Model Diffing with Crosscoders: Unsupervised Discovery of Differences Between LLMs
by: Jiralerspong, Thomas, et al.
Published: (2026)

The algebraic topology of 4-manifolds multisections
by: Moussard, Delphine, et al.
Published: (2021)

From Biased Selective Labels to Pseudo-Labels: An Expectation-Maximization Framework for Learning from Biased Decisions
by: Chang, Trenton, et al.
Published: (2024)

The AI Research Assistant: Promise, Peril, and a Proof of Concept
by: Bui-Thanh, Tan
Published: (2026)

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants
by: Bayazıt, Barış, et al.
Published: (2025)

Your Brain on ChatGPT: Accumulation of Cognitive Debt when Using an AI Assistant for Essay Writing Task
by: Kosmyna, Nataliya, et al.
Published: (2025)

When LLMs Help -- and Hurt -- Teaching Assistants in Proof-Based Courses
by: Mahinpei, Romina, et al.
Published: (2026)

Explosive connectivity and mechanical rigidity in cubic lattice structures
by: Lau, Trenton, et al.
Published: (2025)

External Debt and Debt Intolerance: An Empirical Analysis
by: Márcio Holland
Published: (2007)

Comment on: Your Brain on ChatGPT: Accumulation of Cognitive Debt When Using an AI Assistant for Essay Writing Tasks
by: Stankovic, Milos, et al.
Published: (2025)

Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq
by: Gross, Jason, et al.
Published: (2022)

Debt management systems / Debt and International Finance Division
by: Debt Systems Conference (2 : 1989 : Paris Francia)
Published: (1989)

CodeCloak: A Method for Evaluating and Mitigating Code Leakage by LLM Code Assistants
by: Noah, Amit Finkman, et al.
Published: (2024)

Gauss Law, Higher Categorical Coherence, and the Island Resolution of the Black Hole Information Paradox
by: Patrascu, Andrei Tudor
Published: (2025)

Continuous data assimilation for the Richards equation of unsaturated flow: A computational study
by: Amanda Rowley, et al.
Published: (2026)

An explicit construction of optimized interpolation points on the 4-simplex
by: Gobel, Trenton J., et al.
Published: (2024)

Addressing Cold Start For next-article Recommendation
by: Elgohary, Omar, et al.
Published: (2025)

Hybrid Legacies: Evolutionary Consequences of Neandertal Introgression and Implications for Autism
by: Emily L. Casanova, et al.
Published: (2025)

Conditional Front-door Adjustment for Heterogeneous Treatment Assignment Effect Estimation Under Non-adherence
by: Chen, Winston, et al.
Published: (2025)

Yield forecasting based on short time series with high spatial resolution data
by: Pokal, Sayli, et al.
Published: (2024)

Colonial Debts
by: Zambrana, Rocio
Published: (2021)

Debt as Power
by: Di Muzio, Tim, et al.
Published: (2016)

Gambling Debt
Published: (2017)

Rhetoric in Debt
by: Sharp-Hoskins, Kellie
Published: (2025)

The Debt Frenzy
by: Stewart, Amy
Published: (2007)

The Law of Coherence: Discovery and Proof of a Universal Endurance Principle
by: Aaron Cole Nailer
Published: (2025)

TagDebt: A Bot to Support Technical Debt Management
by: Biazotto, João Paulo, et al.
Published: (2026)

The TechDebt Game -- Enabling Discussions about Technical Debt
by: Wiese, Marion, et al.
Published: (2025)

Do Politically Connected Board Members Influence Firms' Debt Choices? Public Debt Versus Bank Debt
by: Mustapha Douch, et al.
Published: (2025)