Picture for Zsolt Zombori

Zsolt Zombori

Towards Unbiased Exploration in Partial Label Learning

Add code
Jul 02, 2023
Viaarxiv icon

Safety without alignment

Add code
Mar 18, 2023
Viaarxiv icon

Lemmas: Generation, Selection, Application

Add code
Mar 10, 2023
Viaarxiv icon

Towards solving the 7-in-a-row game

Add code
Jul 05, 2021
Figure 1 for Towards solving the 7-in-a-row game
Figure 2 for Towards solving the 7-in-a-row game
Figure 3 for Towards solving the 7-in-a-row game
Figure 4 for Towards solving the 7-in-a-row game
Viaarxiv icon

The Role of Entropy in Guiding a Connection Prover

Add code
May 31, 2021
Figure 1 for The Role of Entropy in Guiding a Connection Prover
Figure 2 for The Role of Entropy in Guiding a Connection Prover
Figure 3 for The Role of Entropy in Guiding a Connection Prover
Figure 4 for The Role of Entropy in Guiding a Connection Prover
Viaarxiv icon

Data-dependent Pruning to find the Winning Lottery Ticket

Add code
Jun 25, 2020
Figure 1 for Data-dependent Pruning to find the Winning Lottery Ticket
Figure 2 for Data-dependent Pruning to find the Winning Lottery Ticket
Figure 3 for Data-dependent Pruning to find the Winning Lottery Ticket
Figure 4 for Data-dependent Pruning to find the Winning Lottery Ticket
Viaarxiv icon

Prolog Technology Reinforcement Learning Prover

Add code
Apr 15, 2020
Figure 1 for Prolog Technology Reinforcement Learning Prover
Figure 2 for Prolog Technology Reinforcement Learning Prover
Viaarxiv icon

Towards Finding Longer Proofs

Add code
May 30, 2019
Figure 1 for Towards Finding Longer Proofs
Figure 2 for Towards Finding Longer Proofs
Figure 3 for Towards Finding Longer Proofs
Figure 4 for Towards Finding Longer Proofs
Viaarxiv icon

Gradient Regularization Improves Accuracy of Discriminative Models

Add code
May 24, 2018
Figure 1 for Gradient Regularization Improves Accuracy of Discriminative Models
Figure 2 for Gradient Regularization Improves Accuracy of Discriminative Models
Figure 3 for Gradient Regularization Improves Accuracy of Discriminative Models
Figure 4 for Gradient Regularization Improves Accuracy of Discriminative Models
Viaarxiv icon