532 papers
The spectrum from Cs to Pl spans a fascinating array of elements that bridge the gap between heavy metals and the rare earths. These materials often possess unique magnetic and optical properties, making them vital for everything from advanced electronics to energy storage solutions. While they may seem obscure, the research surrounding them is rapidly evolving as scientists unlock new ways to harness their distinct atomic behaviors for next-generation technologies.
At Gist.Science, we ensure you never miss a breakthrough by processing every new preprint in this category directly from arXiv. As soon as researchers upload their findings, our team generates both plain-language overviews and detailed technical summaries, stripping away the complexity so you can grasp the core innovations without getting lost in dense jargon. This commitment keeps the scientific community connected to the raw, unfiltered progress happening right now.
Below are the latest papers in this field, freshly summarized and ready for your review.
This paper introduces a modular, functional programming framework implemented in Soda that enables composable verification pipelines for multi-agent systems, allowing users to define domain descriptions in YAML and execute transparent, guaranteed-terminating reasoning workflows for dynamic systems involving complex scenarios like misinformation and emotional reasoning.
The paper introduces AoA, a novel interactive theorem proving agent that operates directly on the Abstract Syntax Tree of a redesigned language (Minilang) rather than serialized source text, thereby significantly reducing API costs, token usage, and tool calls while improving solving speed and success rates on verification benchmarks.
This paper introduces "Exact Network Surgery," a formal framework and Julia-based implementation that enables the bit-exact, in-place insertion of trainable residual blocks into live computational graphs by proving structural locality and gradient escape properties, thereby allowing capacity expansion without disrupting learned functions or requiring full training rebuilds.
This paper proposes an automated static verification method for a subset of WebAssembly using constrained Horn clauses, which effectively handles indirect function calls through type-based filtering and manages large panic handlers via control-flow analysis summarization.
This paper develops and formalizes distributive laws for parallel composition within a rely-guarantee concurrency framework by establishing them in an abstract synchronous atomic algebra and demonstrating how restricting command forms enables stronger equality laws for algebraic reasoning.
This volume presents the proceedings of the 42nd International Conference on Logic Programming (ICLP 2026), held in Lisbon in July 2026, featuring technical communications and extended abstracts on theoretical foundations, language design, program analysis, and applications from both the Main and Recently Published Research tracks.
This paper introduces lazy Streett supermartingales and their lexicographic extensions to enable sound, automated verification of almost-sure -regular properties in probabilistic programs using weakly non-negative polynomial templates, thereby expanding the search space and significantly improving verification success rates over traditional strongly non-negative methods.
This paper introduces the concept of costrong functors as a dual to strong functors, demonstrating that their costrength corresponds to graded distributive laws and generalizing the relationship between endofunctors and monads to the graded setting with applications in optics and coalgebras.
This paper introduces a novel quantum programming language equipped with a linear type system that resolves the correspondence problem in quantum conditional branching, thereby enabling the well-defined expression of the quantum SWITCH over general quantum channels.
This paper introduces Yarrow, a new ML-like language that successfully reconciles algebraic effects with region-based memory management through the development of Yarrow Logic (YL), a formal program logic proven sound within the Iris framework to enable safe, modular reasoning and efficient, garbage-collection-free execution for complex applications like checkpointing and asynchronous computation.