Login / Signup
John Jennings
Publication Activity (10 Years)
Years Active: 2018-2024
Publications (10 Years): 4
Top Topics
Proof Search
Semiconductor Devices
Higher Order Logic
Computer Algebra Systems
Top Venues
CoRR
ESSCIRC
ESSDERC
IEEE J. Solid State Circuits
</>
Publications
</>
George Tsoukalas
,
Jasper Lee
,
John Jennings
,
Jimmy Xin
,
Michelle Ding
,
Michael Jennings
,
Amitayush Thakur
,
Swarat Chaudhuri
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition.
CoRR
(2024)
Umanath Kamath
,
Edward Cullen
,
Tao Yu
,
John Jennings
,
Susan Wu
,
Peng Lim
,
Brendan Farley
,
Robert Bogdan Staszewski
A 1-V Bandgap Reference in 7-nm FinFET With a Programmable Temperature Coefficient and Inaccuracy of ±0.2% From -45°C to 125°C.
IEEE J. Solid State Circuits
54 (7) (2019)
Umanath Kamath
,
Tao Yu
,
Wei Yao
,
Edward Cullen
,
John Jennings
,
Susan Wu
,
Peng Lim
,
Brendan Farley
,
Robert Bogdan Staszewski
BJT Device and Circuit Co-Optimization Enabling Bandgap Reference and Temperature Sensing in 7-nm FinFET.
ESSDERC
(2018)
Umanath Kamath
,
Edward Cullen
,
John Jennings
,
Ionut Cical
,
Darragh Walsh
,
Peng Lim
,
Brendan Farley
,
Robert Bogdan Staszewski
A 1 V Bandgap Reference in 7-nm FinFET with a Programmable Temperature Coefficient and an Inaccuracy of ±0.2% from -45°C to 125°C.
ESSCIRC
(2018)