Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·22h
⚙️Compilers
Flag this post
Roadmap for Improving the Type Checker
🧩programming
Flag this post
KCL part 1: units
ncameron.org·1d
🧩programming
Flag this post
Don't Let It Fade: Preserving Edits in Diffusion Language Models via Token Timestep Allocation
arxiv.org·22h
🧩programming
Flag this post
Reflection for Aggregates (2020)
🧩programming
Flag this post
Fungus: The Befunge CPU(2015)
🧩programming
Flag this post
GHC 9.14.1-rc1 is now available
🧩programming
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·2d
⚙️Compilers
Flag this post
What are you doing this weekend?
⚙️Compilers
Flag this post
Ideology-Based LLMs for Content Moderation
arxiv.org·22h
⚙️Compilers
Flag this post
TOPol: Capturing and Explaining Multidimensional Semantic Polarity Fields and Vectors
arxiv.org·1d
⚙️Compilers
Flag this post
Questionnaire meets LLM: A Benchmark and Empirical Study of Structural Skills for Understanding Questions and Responses
arxiv.org·22h
🧩programming
Flag this post
Do LLMs Signal When They're Right? Evidence from Neuron Agreement
arxiv.org·22h
⚙️Compilers
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·22h
⚙️Compilers
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·22h
⚙️Compilers
Flag this post
Surface Reading LLMs: Synthetic Text and its Styles
arxiv.org·3d
🧩programming
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·22h
⚙️Compilers
Flag this post
Depth and Autonomy: A Framework for Evaluating LLM Applications in Social Science Research
arxiv.org·1d
⚙️Compilers
Flag this post
Loading...Loading more...