Concept
Oracle Corporation
Related publications (23)
Augmented Memory: Sample-Efficient Generative Molecular Design with Reinforcement Learning
Sample efficiency is a fundamental challenge in de novo molecular design. Ideally, molecular generative models should learn to satisfy a desired objective under minimal calls to oracles (computational property predictors). This problem becomes more apparen ...
Amer Chemical Soc2024Solving stochastic weak Minty variational inequalities without increasing batch size
Volkan Cevher, Thomas Michaelsen Pethick
This paper introduces a family of stochastic extragradient-type algorithms for a class of nonconvex-nonconcave problems characterized by the weak Minty variational inequality (MVI). Unlike existing results on extragradient methods in the monotone setting, ...
2023Infochain: A Decentralized, Trustless and Transparent Oracle on Blockchain
Boi Faltings, Naman Goel, Aris Filos Ratsikas
Blockchain based systems allow various kinds of financial transactions to be executed in a decentralized manner. However, these systems often rely on a trusted third party (oracle) to get correct information about the real-world events, which trigger the f ...
2022On Succinct Non-interactive Arguments in Relativized Worlds
Succinct non-interactive arguments of knowledge (SNARKs) are cryptographic proofs with strong efficiency properties. Applications of SNARKs often involve proving computations that include the SNARK verifier, a technique called recursive composition. Unfort ...
SPRINGER INTERNATIONAL PUBLISHING AG2022Regret Minimization in Stochastic Non-Convex Learning via a Proximal-Gradient Approach
Volkan Cevher, Shaul Nadav Hallak
This paper develops a methodology for regret minimization with stochastic first-order oracle feedback in online, constrained, non-smooth, non-convex problems. In this setting, the minimization of external regret is beyond reach for first-order methods, and ...
JMLR-JOURNAL MACHINE LEARNING RESEARCH2021Addressable Acoustic Actuation of 3D Printed Soft Robotic Microsystems
Mahmut Selman Sakar, Murat Kaynak, Pietro Luciano Jakobus Dirix
A design, manufacturing, and control methodology is presented for the transduction of ultrasound into frequency-selective actuation of multibody hydrogel mechanical systems. The modular design of compliant mechanisms is compatible with direct laser writing ...
2020Program compilation for large-scale quantum computers
Practical realizations of quantum computers are poised to deliver outstanding computational capabilities far beyond the reach of any classical supercomputer.
While classical systems are reliably implemented using CMOS technology, the fabrication of quantu ...
EPFL2020Keystroke Biometrics Ongoing Competition
This paper presents the first Keystroke Biometrics Ongoing Competition (KBOC) organized to establish a reproducible baseline in person authentication using keystroke biometrics. The competition has been developed using the BEAT platform and includes one of ...
2016Maximizing k-Submodular Functions and Beyond
We consider the maximization problem in the value oracle model of functions defined on k-tuples of sets that are submodular in every orthant and r-wise monotone, where k >= 2 and 1
Assoc Computing Machinery2016Drifting Clouds: A Case Study of IT Transformation at eni
In this paper, we investigate how cloud computing can be seen as a planned result or perhaps a consequence of IT transformation initiatives. To this end we discuss the case of eni, a multinational utility corporation based in Italy. The analysis has been c ...
2015