Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Een, Niklas"'
Autor:
Alemi, Alex A., Chollet, Francois, Een, Niklas, Irving, Geoffrey, Szegedy, Christian, Urban, Josef
We study the effectiveness of neural sequence models for premise selection in automated theorem proving, one of the main bottlenecks in the formalization of mathematics. We propose a two stage approach for this task that yields good results for the p
Externí odkaz:
http://arxiv.org/abs/1606.04442
This paper presents an efficient, combined formulation of two widely used abstraction methods for bit-level verification: counterexample-based abstraction (CBA) and proof-based abstraction (PBA). Unlike previous work, this new method is formulated as
Externí odkaz:
http://arxiv.org/abs/1008.2021
Autor:
Eén, Niklas, Sörensson, Niklas
Publikováno v:
In Electronic Notes in Theoretical Computer Science 2003 89(4):543-560
Autor:
Mishchenko, Alan, Een, Niklas, Brayton, Robert, Baumgartner, Jason, Mony, Hari, Nalla, Pradeep
Publikováno v:
Proceedings of the Conference: Design, Automation & Test in Europe; 3/18/2013, p1399-1404, 6p
Autor:
Mishchenko, Alan, Een, Niklas, Brayton, Robert, Case, Michael, Chauhan, Pankaj, Sharma, Nikhil
Publikováno v:
Proceedings of the Conference: Design, Automation & Test in Europe; 3/18/2013, p797-802, 6p
Publikováno v:
2013 Formal Methods in Computer-Aided Design; 2013, p53-60, 8p
Publikováno v:
Proceedings of the Conference: Design, Automation & Test in Europe; 3/12/2012, p1579-1584, 6p
Publikováno v:
2011 Formal Methods in Computer-Aided Design (FMCAD); 1/ 1/2011, p125-134, 10p
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Rangan, C. Pandu, Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Marques-Silva, João, Sakallah, Karem A., Een, Niklas, Mishchenko, Alan, Sörensson, Niklas
Publikováno v:
Theory & Applications of Satisfiability Testing: SAT 2007; 2007, p272-286, 15p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.