Reasoning About Hybrid Assumptions in Assured Temporal Missions Gallery

Reasoning About Hybrid Assumptions in Assured Temporal Missions

Graphical-Probabilistic Modeling of Generative Flows in LLM-Native Software Systems Gallery

Graphical-Probabilistic Modeling of Generative Flows in LLM-Native Software Systems

Adapting Language Models to Produce Good Class Probabilities for Classification Tasks Gallery

Adapting Language Models to Produce Good Class Probabilities for Classification Tasks

A note on busy beaver bounds Gallery

A note on busy beaver bounds

Are Optimal Algorithms Still Optimal? Rethinking Sorting in LLM-Based Pairwise Ranking with Batching and Caching Gallery

Are Optimal Algorithms Still Optimal? Rethinking Sorting in LLM-Based Pairwise Ranking with Batching and Caching

Integrating Bayesian and neural networks models for eye movement prediction in hybrid search Gallery

Integrating Bayesian and neural networks models for eye movement prediction in hybrid search

Rauzy complexity and block entropy Gallery

Rauzy complexity and block entropy

Mapping Semantic Segmentation to Point Clouds Using Structure from Motion for Forest Analysis Gallery

Mapping Semantic Segmentation to Point Clouds Using Structure from Motion for Forest Analysis

Non-crossing H-graphs: a generalization of proper interval graphs admitting FPT algorithms Gallery

Non-crossing H-graphs: a generalization of proper interval graphs admitting FPT algorithms

No Need for Ad-hoc Substitutes: The Expected Cost is a Principled All-purpose Classification Metric Gallery

No Need for Ad-hoc Substitutes: The Expected Cost is a Principled All-purpose Classification Metric