English
Related papers

Related papers: The Fearless Journey [Draft]

200 papers

Algorithms are ways of mapping problems to solutions. An algorithm is invertible precisely when this mapping is injective, such that the initial problem can be uniquely inferred from its solution. While invertible algorithms can be…

Programming Languages · Computer Science 2022-12-08 Joachim Tilsted Kristensen , Robin Kaarsgaard , Michael Kirkedal Thomsen

The capability to efficiently search for objects in complex environments is fundamental for many real-world robot applications. Recent advances in open-vocabulary vision models have resulted in semantically-informed object navigation…

Robotics · Computer Science 2025-03-04 Finn Lukas Busch , Timon Homberger , Jesús Ortega-Peimbert , Quantao Yang , Olov Andersson

OpenReservoirComputing (ORC) is a Python library for reservoir computing (RC) written in JAX (Bradbury et al. 2018) and Equinox (Kidger and Garcia 2021). JAX is a Python library for high-performance numerical computing that enables…

Machine Learning · Computer Science 2026-03-17 Jan Williams , Dima Tretiak , Steven L. Brunton , J. Nathan Kutz , Krithika Manohar

The real-life merit functions have an unimaginable complexity of an M-dimensional topography, where M is the number of the parameters. It is shown that there is an underlying noise-free merit function, called follower merit function which…

Optimization and Control · Mathematics 2022-12-05 Emoke Imre

We present a feedforward graph architecture in which heterogeneous frozen large language models serve as computational nodes, communicating through a shared continuous latent space via learned linear projections. Building on recent work…

Machine Learning · Computer Science 2026-04-10 Marcus Armstrong , Navid Ayoobi , Arjun Mukherjee

The aim of the Alma project is the design of a strongly typed constraint programming language that combines the advantages of logic and imperative programming. The first stage of the project was the design and implementation of Alma-0, a…

Logic in Computer Science · Computer Science 2007-05-23 Krzysztof R. Apt , Andrea Schaerf

We introduce Open-Reasoner-Zero, the first open source implementation of large-scale reasoning-oriented RL training on the base model focusing on scalability, simplicity and accessibility. Through extensive experiments, we demonstrate that…

Machine Learning · Computer Science 2025-07-08 Jingcheng Hu , Yinmin Zhang , Qi Han , Daxin Jiang , Xiangyu Zhang , Heung-Yeung Shum

Currently, lightweight hybrid backbone networks have partially alleviated the issue of computational saturation, but the imbalance in computational efficiencys between convolutional neural networks (CNNs) and attention mechanisms is…

Computer Vision and Pattern Recognition · Computer Science 2025-08-05 Fengyun Li , Chao Zheng , Yangyang Fang , Jialiang Lan , Jianhua Liang , Luhao Zhang , Fa Si

Finding specific preference-guided Pareto solutions that represent different trade-offs among multiple objectives is critical yet challenging in multi-objective problems. Existing methods are restrictive in preference definitions and/or…

Machine Learning · Computer Science 2025-03-28 Lisha Chen , AFM Saif , Yanning Shen , Tianyi Chen

Reinforcement learning (RL) is a foundation of learning in biological systems and provides a framework to address numerous challenges with real-world artificial intelligence applications. Efficient implementations of RL techniques could…

Machine Learning · Computer Science 2021-09-29 Wilkie Olin-Ammentorp , Yury Sokolov , Maxim Bazhenov

Verifying properties of object-oriented software requires a method for handling references in a simple and intuitive way, closely related to how O-O programmers reason about their programs. The method presented here, a Calculus of Object…

Software Engineering · Computer Science 2011-07-19 Bertrand Meyer

The value of brain-inspired neuromorphic computers critically depends on our ability to program them for relevant tasks. Currently, neuromorphic hardware often relies on machine learning methods adapted from deep learning. However,…

Neural and Evolutionary Computing · Computer Science 2024-10-31 Steven Abreu , Jens E. Pedersen

An oracle is a mechanism to decide whether the outputs of the program for the executed test cases are correct. For machine learning programs, such oracle is not available or too difficult to apply. Metamorphic testing is a testing approach…

Software Engineering · Computer Science 2022-09-02 Madhusudan Srinivasan , Upulee Kanewala

Missing responses is a missing data format in which outcomes are not always observed. In this work we develop kernel machines that can handle missing responses. First, we propose a kernel machine family that uses mainly the complete cases.…

Machine Learning · Statistics 2018-06-11 Tiantian Liu , Yair Goldberg

The foundation model is not the last chapter of the model production pipeline. Transferring with few data in a general way to thousands of downstream tasks is becoming a trend of the foundation model's application. In this paper, we…

Computer Vision and Pattern Recognition · Computer Science 2021-11-25 Yujie Wang , Junqin Huang , Mengya Gao , Yichao Wu , Zhenfei Yin , Ding Liang , Junjie Yan

We consider the problem of finding collision-free paths for curvature-constrained systems in the presence of obstacles while minimizing execution time. Specifically, we focus on the setting where a planar system can travel at some range of…

Robotics · Computer Science 2022-04-05 Doron Pinsky , Petr Váňa , Jan Faigl , Oren Salzman

Federated learning (FL), as an emerging artificial intelligence (AI) approach, enables decentralized model training across multiple devices without exposing their local training data. FL has been increasingly gaining popularity in both…

Machine Learning · Computer Science 2023-10-23 Victoria Huang , Shaleeza Sohail , Michael Mayo , Tania Lorido Botran , Mark Rodrigues , Chris Anderson , Melanie Ooi

We develop a framework for resource efficient compilation of higher-level programs into lower-level reversible circuits. Our main focus is on optimizing the memory footprint of the resulting reversible networks. This is motivated by the…

Quantum Physics · Physics 2015-10-02 Alex Parent , Martin Roetteler , Krysta M. Svore

Many interesting phenomena are characterized by the complex interaction of different physical processes, each often best modeled numerically via a specific approach. In this paper, we present the design and implementation of an…

Mathematical Software · Computer Science 2025-10-20 Juan Michael Sargado

We propose a framework to continuously learn object-centric representations for visual learning and understanding. Existing object-centric representations either rely on supervisions that individualize objects in the scene, or perform…

Computer Vision and Pattern Recognition · Computer Science 2022-04-05 Chuanyu Pan , Yanchao Yang , Kaichun Mo , Yueqi Duan , Leonidas Guibas