Zobrazeno 1 - 10
of 208
pro vyhledávání: '"Zombori, P."'
Autor:
Roland Fejes, Kitti Szonja Gyorgyev, Csaba Góg, László Krenács, Tamás Zombori, Zsófia Eszter Széll, Zsófia Balajthy, Tamás Pancsa, Zsolt Simonka
Publikováno v:
World Journal of Surgical Oncology, Vol 22, Iss 1, Pp 1-7 (2024)
Abstract Background Glomus tumors (GTs) are mesenchymal neoplasms that are typically benign. Gastric GTs are uncommon and occur mainly in the upper gastrointestinal tract. Malignant gastric GTs are extremely rare, constituting less than 1% of gastric
Externí odkaz:
https://doaj.org/article/0f632bdec50e4a2dbd6edebd1e608969
We consider learning a probabilistic classifier from partially-labelled supervision (inputs denoted with multiple possibilities) using standard neural architectures with a softmax as the final layer. We identify a bias phenomenon that can arise from
Externí odkaz:
http://arxiv.org/abs/2307.00465
Noting that lemmas are a key feature of mathematics, we engage in an investigation of the role of lemmas in automated theorem proving. The paper describes experiments with a combined system involving learning technology that generates useful lemmas f
Externí odkaz:
http://arxiv.org/abs/2303.05854
Currently, the dominant paradigm in AI safety is alignment with human values. Here we describe progress on developing an alternative approach to safety, based on ethical rationalism (Gewirth:1978), and propose an inherently safe implementation path v
Externí odkaz:
http://arxiv.org/abs/2303.00752
Autor:
Levente Kuthi, Tamás Zombori, László Tiszlavicz, Fanni Hegedűs, Szintia Almási, Bence Baráth, Mohammed Almakrami, Mohammad Jamal EJ, Nikolett Barta, Zsuzsanna Ujfaludi, Tibor Pankotai, Adrienn Hajdu, József Furák, Anita Sejben
Publikováno v:
Diagnostic Pathology, Vol 19, Iss 1, Pp 1-7 (2024)
Abstract Background Human pulmonary dirofilariasis (HPD) is rare in Hungary, and it stems from Dirofilaria immitis, mainly transmitted through mosquito bites, with dogs as primary hosts. Despite its prevalence in veterinary settings, human cases are
Externí odkaz:
https://doaj.org/article/dd7fc6aa295d4e9aba67474aaf05e047
Our paper explores the game theoretic value of the 7-in-a-row game. We reduce the problem to solving a finite board game, which we target using Proof Number Search. We present a number of heuristic improvements to Proof Number Search and examine thei
Externí odkaz:
http://arxiv.org/abs/2107.05363
In this work we study how to learn good algorithms for selecting reasoning steps in theorem proving. We explore this in the connection tableau calculus implemented by leanCoP where the partial tableau provides a clean and compact notion of a state to
Externí odkaz:
http://arxiv.org/abs/2105.14706
Autor:
Lévai, Dániel, Zombori, Zsolt
The Lottery Ticket Hypothesis postulates that a freshly initialized neural network contains a small subnetwork that can be trained in isolation to achieve similar performance as the full network. Our paper examines several alternatives to search for
Externí odkaz:
http://arxiv.org/abs/2006.14350
We present a reinforcement learning toolkit for experiments with guiding automated theorem proving in the connection calculus. The core of the toolkit is a compact and easy to extend Prolog-based automated theorem prover called plCoP. plCoP builds on
Externí odkaz:
http://arxiv.org/abs/2004.06997
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.