:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Chong, Zan-Kai, Ohsaki, Hiroyuki, Ng, Bryan
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2509.11068
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Compiling Deterministic Structure into SLM Harnesses
by: Chong, Zan Kai, et al.
Published: (2026)

LLM-Net: Democratizing LLMs-as-a-Service through Blockchain-based Expert Networks
by: Chong, Zan-Kai, et al.
Published: (2025)

The Silent Scholar Problem: A Probabilistic Framework for Breaking Epistemic Asymmetry in LLM Agents
by: Chong, Zan-Kai, et al.
Published: (2025)

Proof of Useful Intelligence (PoUI): Blockchain Consensus Beyond Energy Waste
by: Chong, Zan-Kai, et al.
Published: (2025)

Improve Cost Efficiency of Active Learning over Noisy Dataset
by: Chong, Zan-Kai, et al.
Published: (2024)

Collaborative Active Learning in Conditional Trust Environment
by: Chong, Zan-Kai, et al.
Published: (2024)

Improving Uncertainty Sampling with Bell Curve Weight Function
by: Chong, Zan-Kai, et al.
Published: (2024)

Learning Tractable Distributions Of Language Model Continuations
by: Yidou-Weng, Gwen, et al.
Published: (2025)

Learning Structured Reasoning via Tractable Trajectory Control
by: Kung, Po-Nien, et al.
Published: (2026)

MArgE: Meshing Argumentative Evidence from Multiple Large Language Models for Justifiable Claim Verification
by: Ng, Ming Pok, et al.
Published: (2025)

SOCK: A Benchmark for Measuring Self-Replication in Large Language Models
by: Chavarria, Justin, et al.
Published: (2025)

CAMA: Enhancing Mathematical Reasoning in Large Language Models with Causal Knowledge
by: Zan, Lei, et al.
Published: (2025)

Ferret: Federated Full-Parameter Tuning at Scale for Large Language Models
by: Shu, Yao, et al.
Published: (2024)

On the Hardness of Approximating Distributions with Tractable Probabilistic Models
by: Leland, John, et al.
Published: (2025)

Limits of Emergent Reasoning of Large Language Models in Agentic Frameworks for Deterministic Games
by: Su, Chris, et al.
Published: (2025)

Source Attribution for Large Language Model-Generated Data
by: Wang, Jingtan, et al.
Published: (2023)

Variation in Verification: Understanding Verification Dynamics in Large Language Models
by: Zhou, Yefan, et al.
Published: (2025)

Continuous Mixtures of Tractable Probabilistic Models
by: Correia, Alvaro H. C., et al.
Published: (2022)

Collaborative Stance Detection via Small-Large Language Model Consistency Verification
by: Yan, Yu, et al.
Published: (2025)

In Search of the Ingredients of Open-Endedness: Replicating Picbreeder with Large Vision-Language Models
by: Earle, Sam, et al.
Published: (2026)

Internalizing Safety Understanding in Large Reasoning Models via Verification
by: Zhang, Yi, et al.
Published: (2026)

Non-Deterministic Planning for Hyperproperty Verification
by: Beutner, Raven, et al.
Published: (2024)

Deterministic Preprocessing and Interpretable Fuzzy Banding for Cost-per-Student Reporting from Extracted Records
by: Lee, Shane, et al.
Published: (2026)

On the Self-Verification Limitations of Large Language Models on Reasoning and Planning Tasks
by: Stechly, Kaya, et al.
Published: (2024)

The Limits of Tractable Marginalization
by: Broadrick, Oliver, et al.
Published: (2025)

A Survey for Large Language Models in Biomedicine
by: Wang, Chong, et al.
Published: (2024)

Laurel: Unblocking Automated Verification with Large Language Models
by: Mugnier, Eric, et al.
Published: (2024)

Polynomial Semantics of Tractable Probabilistic Circuits
by: Broadrick, Oliver, et al.
Published: (2024)

Claim Verification in the Age of Large Language Models: A Survey
by: Dmonte, Alphaeus, et al.
Published: (2024)

Adaptive Draft-Verification for Efficient Large Language Model Decoding
by: Liu, Xukun, et al.
Published: (2024)

AdaPhish: AI-Powered Adaptive Defense and Education Resource Against Deceptive Emails
by: Meguro, Rei, et al.
Published: (2025)

Singular Value Decomposition on Kronecker Adaptation for Large Language Model
by: Chong, Yee Hin, et al.
Published: (2025)

Pushing Test-Time Scaling Limits of Deep Search with Asymmetric Verification
by: Zeng, Weihao, et al.
Published: (2025)

Restructuring Tractable Probabilistic Circuits
by: Zhang, Honghua, et al.
Published: (2024)

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
by: Lin, Xiaohan, et al.
Published: (2024)

How to Build Marcus's Algebraic Mind: Algebro-Deterministic Substrate over Galois Fields
by: Chuma, Hiroyuki, et al.
Published: (2026)

Automated Repair of AI Code with Large Language Models and Formal Verification
by: Charalambous, Yiannis, et al.
Published: (2024)

RecSys Arena: Pair-wise Recommender System Evaluation with Large Language Models
by: Wu, Zhuo, et al.
Published: (2024)

Theory of Mind for Multi-Agent Collaboration via Large Language Models
by: Li, Huao, et al.
Published: (2023)

Rethinking Reasoning Quality in Large Language Models through Enhanced Chain-of-Thought via RL
by: He, Haoyang, et al.
Published: (2025)