- SWE Context Bench: A Benchmark for Context Learning in Coding
2026/02/09 by Zhu, Jiayuan, Jiayuan Zhu, Junde Wu +19 · 1 voice · 1 citation
Computer Science · Decision Sciences · Materials Science · #Benchmark (surveying) #Coding (social sciences) #Context (archaeology) #Correctness #Machine Learning in Materials Science #Oracle #Reuse #Scientific Computing and Data Management #Software #Software Engineering Research #Task (project management) #cs.AI #cs.SE
- Opening the Black Box inside Grover’s Algorithm
2023/03/20 by E. Miles Stoudenmire, E. M. Stoudenmire, Xavier Waintal · 2 voices · 6 citations
Computer Science · Mathematics · #Algorithm #Computability, Logic, AI Algorithms #Computer science #Gas meter prover #Mathematical proof #Mathematics #Oracle #Parallel computing #Physics #Programming language #Quantum #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum algorithm #Quantum circuit #Quantum computer #Quantum error correction #Quantum mechanics #Quantum phase estimation algorithm #Quantum sort #Qubit #Speedup #Theoretical computer science
- Decision-Dependent Risk Minimization in Geometrically Decaying Dynamic Environments
2022/04/08 by Mitas Ray, Ray, Mitas, Dmitriy Drusvyatskiy +5 · 8 citations
Decision Sciences · Economics, Econometrics and Finance · Mathematics · #Computer science #Decision maker #Economic and Environmental Valuation #Economics #FOS: Computer and information sciences #FOS: Mathematics #Function (biology) #Logarithm #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Mathematical optimization #Mathematics #Minification #Operations research #Optimization and Control (math.OC) #Oracle #Order (exchange) #Reduction (mathematics) #Risk and Portfolio Optimization #Statistical Methods and Inference
- Using Machine Learning to Generate Test Oracles: A Systematic Literature\n Review
2021/07/02 by Afonso Fontes, Fontes, Afonso, Gregory Gay +1 · 2 citations
Computer Science · Mathematics · #Artificial intelligence #Boosting (machine learning) #Computer science #D.2.4 #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Field (mathematics) #Machine learning #Mathematics #Metadata #Oracle #Software Engineering (cs.SE) #Software Engineering Research #Software engineering #Support vector machine #Topic Modeling
- Lookahead Acquisition Functions for Finite-Horizon Time-Dependent Bayesian Optimization and Application to Quantum Optimal Control
2021/05/20 by S. Ashwin Renganathan, Renganathan, S. Ashwin, Jeffrey Larson +3 · 2 citations
Computer Science · Decision Sciences · Mathematics · #Advanced Bandit Algorithms Research #Artificial intelligence #Bayesian optimization #Bayesian probability #Bellman equation #Computation (stat.CO) #Computer science #FOS: Computer and information sciences #FOS: Mathematics #Function (biology) #Gaussian Processes and Bayesian Inference #Horizon #Machine Learning and Algorithms #Mathematical optimization #Mathematics #Maximization #Optimization and Control (math.OC) #Oracle #Time horizon
- Quasi-oracle estimation of heterogeneous treatment effects
2020/09/09 by Xinkun Nie, X Nie, S Wager +1 · 113 citations
Mathematics · #A priori and a posteriori #Advanced Causal Inference Techniques #Artificial intelligence #Boosting (machine learning) #Computer science #Estimator #Kernel (algebra) #Kernel regression #Machine learning #Mathematical optimization #Mathematics #Oracle #Regression #Statistical Methods and Inference #Statistical Methods in Clinical Trials #Statistics
- An Efficient Linkable Group Signature for Payer Tracing in Anonymous Cryptocurrencies
2019/02/09 by Lingyue Zhang, Zhang, Lingyue, Huilin Li +7 · 1 citation
Computer Science · Mathematics · #Anonymity #Blockchain #Blockchain Technology Applications and Security #Computer science #Computer security #Cryptocurrency #Cryptography and Data Security #Cryptography and Security (cs.CR) #Database #Database transaction #Encryption #FOS: Computer and information sciences #Group signature #Identity (music) #Internet privacy #Mathematics #Oracle #Privacy-Preserving Technologies in Data #Public-key cryptography #Random oracle #Ring signature #Scheme (mathematics) #Traceability
- Roaring bitmaps: Implementation of an optimized software library
2017/09/22 by Daniel Lemire, Owen Kaser, Nathan Kurz +6 · 2 voices · 1 citation
Computer Science · #Advanced Database Systems and Queries #Benchmark (surveying) #Bitmap #Data Management and Algorithms #Graph Theory and Algorithms #Index (typography) #Microsoft Visual Studio #Oracle #Software #Visual Basic for Applications
- Learning Neural Networks with Two Nonlinear Layers in Polynomial Time
2017/09/18 by Surbhi Goel, Adam R. Klivans, Adam Klivans +2 · 1 voice · 4 citations
Computer Science · Mathematics · #Algorithm #Artificial intelligence #Artificial neural network #Boolean function #Computer science #Estimator #Isotonic regression #Lipschitz continuity #Machine Learning and Algorithms #Machine Learning and Data Classification #Mathematics #Monotone polygon #Neural Networks and Applications #Nonlinear system #Oracle #Polynomial #Probabilistic logic #Sigmoid function #cs.DS #cs.LG #stat.ML
- Deterministic Browser
2017/08/22 by Yinzhi Cao, Zhanhao Chen, Cao, Yinzhi +5 · 2 voices
Computer Science · #Advanced Malware Detection Techniques #Computer network #Computer science #Computer security #Cryptography #Frame (networking) #Internet Traffic Analysis and Secure E-voting #JavaScript #Oracle #Programming language #Rich Internet application #Security and Verification in Computing #Side channel attack #Timing attack #Unobtrusive JavaScript #World Wide Web
- SEEKING ADVICE FROM ZEUS AT DODONA
2016/03/29 by Robert Parker · 1 citation
Social Sciences · Arts and Humanities · #Classical Antiquity Studies #Historical, Religious, and Philosophical Studies #Ancient Near East History #Cult #Revelation #Divination #Politics #Oracle #Statement (logic) #History #Political science #Law #Plague (disease) #Ancient history #Literature #Art #Computer science
- Length-Increasing Reductions for PSPACE-Completeness
2013/01/01 by John M. Hitchcock, A. Pavan · 1 citation
Computer Science · Mathematics · #Advice (programming) #Algorithm #Combinatorics #Completeness (order theory) #Complexity and Algorithms in Graphs #Complexity class #Computational complexity theory #Computer science #Discrete mathematics #Exponential function #Machine Learning and Algorithms #Mathematical proof #Mathematics #Oracle #PSPACE #Pigeonhole principle #Pseudorandom number generator #Randomness #Statistics #Structural complexity theory #Time complexity #semigroups and automata theory
- Speeding Up the Wide-Pipe: Secure and Fast Hashing
2010/01/01 by Mridul Nandi, Souradyuti Paul · 2 citations
Computer Science · Mathematics · #Algorithm #Chaos-based Image/Signal Encryption #Coding theory and cryptography #Collision attack #Collision resistance #Compression (physics) #Computer science #Computer security #Conjecture #Cryptographic Implementations and Security #Cryptographic hash function #Discrete mathematics #Function (biology) #Hash function #Mathematics #Mode (computer interface) #Oracle #Perfect hash function #Physics #Random oracle
- On the Strength of the Concatenated Hash Combiner When All the Hash Functions Are Weak
2008/08/12 by Jonathan J. Hoch, Adi Shamir · 1 citation
Computer Science · Mathematics · #Algorithm #Chaos-based Image/Signal Encryption #Coding theory and cryptography #Collision attack #Computer network #Computer science #Computer security #Cryptographic Implementations and Security #Cryptographic hash function #Double hashing #Encryption #Hash function #Iterated function #Mathematics #Oracle #Programming language #Public-key cryptography #Random oracle #SHA-2 #Theoretical computer science
- Approximate distance oracles
2005/01/01 by Mikkel Thorup, Uri Zwick · 79 citations
Computer Science · Mathematics · #Advanced Graph Theory Research #Algorithm #Binary logarithm #Combinatorics #Complexity and Algorithms in Graphs #Computer science #Conjecture #Data structure #Discrete mathematics #Edit distance #Girth (graph theory) #Graph #Graph Labeling and Dimension Problems #Integer (computer science) #Mathematics #Oracle #Quotient #Simple (philosophy) #Space (punctuation)
- Generating and characterizing the perfect elimination orderings of a chordal graph
2003/05/19 by L. Sunil Chandran, L.S. Chandran, Louis Ibarra +5 · 2 citations
Computer Science · Mathematics · #Advanced Graph Theory Research #Algorithm #Amortized analysis #Chordal graph #Clique #Combinatorics #Computer science #Constant (computer programming) #Constraint Satisfaction and Optimization #Data structure #Discrete mathematics #Graph #Graph theory and applications #Initialization #Line graph #Mathematics #Oracle #Pathwidth #Treewidth
- Submodular Functions, Matroids, and Certain Polyhedra
2003/01/01 by Jack Edmonds · 4 citations
Computer Science · Mathematics · #Abstraction #Advanced Algebra and Logic #Algebra over a field #Algebraic number #Axiom #Cardinality (data modeling) #Combinatorics #Computer science #Geometry #Mathematics #Matroid #Oracle #Polyhedron #Programming language #Pure mathematics #Submodular set function #Van der Waerden's theorem
- Recognizing graphic matroids
1981/03/01 by P. D. Seymour, Paul Seymour · 1 citation
Computer Science · Mathematics · #Advanced Graph Theory Research #Bounded function #Combinatorics #Computational Geometry and Mesh Generation #Computer science #Discrete mathematics #Graph #Graph Labeling and Dimension Problems #Graphic matroid #Mathematics #Matroid #Matroid partitioning #Oracle #Rank (graph theory) #Vertex (graph theory)