Andreas Fürst

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 6

Top Topics

Abstract Data Types

Hopfield Networks

Parameter Tuning

Top Venues

Sci. Comput. Program.

Publications

Benedikt Alkin, Andreas Fürst, Simon Schmid, Lukas Gruber, Markus Holzleitner, Johannes Brandstetter
Universal Physics Transformers. CoRR (2024)
Johannes Lehner, Benedikt Alkin, Andreas Fürst, Elisabeth Rumetshofer, Lukas Miklautz, Sepp Hochreiter
Contrastive Tuning: A Little Help to Make Masked Autoencoders Forget. AAAI (2024)
Johannes Lehner, Benedikt Alkin, Andreas Fürst, Elisabeth Rumetshofer, Lukas Miklautz, Sepp Hochreiter
Contrastive Tuning: A Little Help to Make Masked Autoencoders Forget. CoRR (2023)
Andreas Fürst, Elisabeth Rumetshofer, Johannes Lehner, Viet T. Tran, Fei Tang, Hubert Ramsauer, David P. Kreil, Michael Kopp, Günter Klambauer, Angela Bitto, Sepp Hochreiter
CLOOB: Modern Hopfield Networks with InfoLOOB Outperform CLIP. NeurIPS (2022)
Andreas Fürst, Elisabeth Rumetshofer, Viet Tran, Hubert Ramsauer, Fei Tang, Johannes Lehner, David P. Kreil, Michael Kopp, Günter Klambauer, Angela Bitto-Nemling, Sepp Hochreiter
CLOOB: Modern Hopfield Networks with InfoLOOB Outperform CLIP. CoRR (2021)
Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki
Large-scale system development using Abstract Data Types and refinement. Sci. Comput. Program. 131 (2016)
Andreas Fürst, Thai Son Hoang, David A. Basin, Krishnaji Desai, Naoto Sato, Kunihiko Miyazaki
Code Generation for Event-B. IFM (2014)
Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki
Formal System Modelling Using Abstract Data Types in Event-B. ABZ (2014)
Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial
Event-B patterns and their tool support. Softw. Syst. Model. 12 (2) (2013)
David A. Basin, Andreas Fürst, Thai Son Hoang, Kunihiko Miyazaki, Naoto Sato
Abstract Data Types in Event-B - An Application of Generic Instantiation CoRR (2012)
Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial
Event-B Patterns and Their Tool Support. SEFM (2009)