All articles
arxiv arXiv cs.LG · 6h ago

Agnostic Machine Learning Model of Photosynthetic Habitability

Researchers have developed an agnostic model for the Photosynthetic Habitable Zone (PHZ) based on thermodynamics and redox chemistry, eliminating Earth-centric biases found in previous estimates. By optimizing a generic photochemical reaction against exoplanet irradiance spectra using a genetic algorithm, the study predicts that photosynthetic viability declines linearly with orbital distance rather than quadratically.

arxiv arXiv cs.LG · 7h ago

ASALT: Adaptive State Alignment for Lateral Transfer in Multi-agent Reinforcement Learning

This paper introduces ASALT, a method that enables lateral transfer learning in multi-agent reinforcement learning by accommodating mismatched state-space dimensionalities between source and target domains. The approach uses observation-level and state-level adapters to map inputs into a shared embedding space, facilitating effective knowledge transfer across heterogeneous environments.

arxiv arXiv cs.AI · 7h ago

When Helpfulness Overrides Causal Caution: Context-Dependent Suppression and Recovery in LLMs

A study reveals that large language models systematically suppress 'Causal Caution'—the tendency to refrain from causal judgment without sufficient evidence—when shifting from academic to practical advisory contexts. This suppression occurs despite the models retaining the underlying capability, as evidenced by the ability to restore cautious reasoning through specific prompts.

arxiv arXiv cs.AI · 7h ago

Structural Kolmogorov-Arnold Convolutions: Learnable Function on the Values or the Filter Shape

The article introduces Structural Kolmogorov-Arnold Networks (KANs) that place learnable functions in the convolution structure rather than on individual kernel entries, organizing the design by whether the function acts on pixel values or filter shape. It presents three realizations: SV-KAN with a shared value function, AG-KAN using a content-adaptive Gaussian gate, and RF-KAN which builds filters from oriented ridge profiles in a Morlet wavelet basis.

arxiv arXiv cs.AI · 7h ago

Cycle-Consistent Neural Explanation of Formal Verification Certificates

Researchers propose a cycle-consistent neural architecture that generates faithful natural language explanations for formal verification certificates, addressing the opacity of these machine-checkable proofs for non-specialists. The system achieves 90.0% cycle-verified soundness on test data from a financial compliance domain, significantly outperforming multi-LLM baselines in both accuracy and inference speed.