Domain Theory, Mathematical Models, Program Meaning, Scott Domains
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·15h
Extensions and Shadows (6)
sites.psu.edu·11h
The Non-Linear Representation Dilemma: Is Causal Abstraction Enough for Mechanistic Interpretability?
arxiv.org·1d
Context-Aware Regularization with Markovian Integration for Attention-Based Nucleotide Analysis
arxiv.org·1h
Data Fusion and Aggregation Methods to Develop Composite Indexes for a Sustainable Future
arxiv.org·1h
PU-Lie: Lightweight Deception Detection in Imbalanced Diplomatic Dialogues via Positive-Unlabeled Learning
arxiv.org·1h
Rethinking Prompt Optimization: Reinforcement, Diversification, and Migration in Blackbox LLMs
arxiv.org·1h
Loading...Loading more...