0

Daniel Selsam

Papers
2

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
2papers

Authored papers

2

GPT-4 Technical Report

gpt-4-technical-report

2023

Guiding High-Performance SAT Solvers with Unsat-Core Predictions

arXiv 2019

2019

Affiliations

No known affiliations.

Frequent co-authors

10

from 2 papers

Aalok Mehta

1 shared paper

Adam Perelman

1 shared paper

Aditya Ramesh

1 shared paper

Adrien Ecoffet

1 shared paper

Akila Welihinda

1 shared paper

Alan Hickey

1 shared paper

Alec Radford

researcher

1 shared paper

Alethea Power

researcher

1 shared paper

Alex Paino

engineer

1 shared paper

Alex Passos

1 shared paper