A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “generic assignment” 4

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Stable Recovery of Entangled Weights: Towards Robust Identification of Deep Neural Networks from Minimal Samples
2021 arXiv (Cornell University) preprint Computer Science Neural Networks and Applications Open access

Christian Fiedler, Massimo Fornasier, Timo Klock, Michael Rauchensteiner

0

citations
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Christopher Brix, Grani A. Hanasusanto, Huan Zhang

3

citations
Learning from Algorithm Feedback: One-Shot SAT Solver Guidance with GNNs
2025 arXiv (Cornell University) preprint Computer Science Constraint Satisfaction and Optimization Open access

Jan Tönshoff, Martin Grohe

0

citations
Towards a Common Language for Digital Specimens: Exploring the openDS Data Model
2025 Biodiversity Information Science and Standards article Computer Science Research Data Management Practices Open access

Wouter Addink, Sam Leeflang

0

citations

4 results