Latest Articles for Computer Science

A study on the performance and evaluation methods of large language models.

New methods improve efficiency in graph coloring and bandwidth coloring challenges.

This article discusses various models of set theory and their implications.

A look at efficient data compression and retrieval methods.

A look into evasion numbers and how they interact with soft-linked posets.

New framework improves evaluation of optimization algorithms for machine learning.

Recent methods improve protein design and functionality using computer techniques.

Explore minimum spanning trees and their impact on grids and real-world applications.

A look at how quantum backtracking improves solving complex problems like Sudoku.

This method improves tracking of solutions in changing systems of equations.

This article explores the relationship between music and math through research and concepts.

Exploring methods to enhance agreement testing with low acceptance rates.

A new automated approach improves efficiency in fixing software bugs.

A look at how DRM improves resource allocation in computing.

A study on finding maximum-sized properly colored forests in graph theory.

Exploring minimal local sets and their role in graph theory.

Explore the shift from CPUs to GPUs in sea ice modeling.

This article discusses the minimum depth for circuits encoding error-correcting codes.

A look at cryptographic problems in classical and quantum computing.

New shrinkage methods enhance Hessian estimation for machine learning optimization tasks.

A system of handles improves memory management and reduces fragmentation in unmanaged languages.

A guide to improving associative memory using gradient descent methods.

Exploring quantum magic's impact on computation advantages in shallow circuits.

This research explores efficient methods for solving a key mathematical equation.

A formal proof confirms the Empty Hexagon Number using computational methods.

Exploring the role of antiferromagnets in quantum computing and sensing applications.

This article explains how language models produce incorrect information and studies their causes.

This article examines new methods in finite-sum optimization under the PL condition.

This article explains how tractability analysis measures the ease of solving complex mathematical problems.

A method for creating and visualizing shapes that change over time.

New techniques enhance memory management verification in computer programs.

A new method improves solving linear integer equations using automata and algebra.

An overview of the Raft algorithm for consensus in distributed systems.

Exploring the mixing properties of Markov chains influenced by randomness.

New techniques improve efficiency in analyzing graph properties and satisfiability.

New methods improve understanding of knots in open strands like DNA.

A new method integrates acoustic information into language models for better speech recognition.

A look at how qubits achieve agreement in quantum networks.

A comprehensive proof of the Kohayakawa-Kreuter conjecture sheds light on graph properties.

A look into OPDL's role in reasoning about concurrent programs.