University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

College of Engineering 1
Dept. of Computer Science 1
Graduate Dissertations and Theses at Illinois 1
Undergraduate Research - University of Illinois at Urbana-Champaign 1
Undergraduate Student Publications and Research - General 1

Collection

Dissertations and Theses - Computer Science 1
Graduate Dissertations and Theses at Illinois 1
Undergraduate Student Publications and Research - General 1

Author(s)

Blanchard, Eion 1
Harman, Scott 1
Hieronymi, Philipp 1
Karve, Vaibhav 1
Narang, Kanika 1
Ravi, Nikil 1
Schargorodsky, Joel 1
Thompson, Kyle 1
Wulffraat, Noble 1
Xu, Tianfan 1

Keyword(s)

Graph Convolution Networks 1
Representation Learning, Model Interpretability 1
User behavior modeling 1
automated theorem proving 1
mathematics 1
model theory 1

Type of Resource

Thesis 1
text 1

↑ ↓

Showing 1–2 of 2 items

Thumbnail for Theorem Proving in Lean

Theorem Proving in Lean

Hieronymi, Philipp ; Karve, Vaibhav; Blanchard, Eion; Harman, Scott; Ravi, Nikil; Zhao, Fenglong; Thompson, Kyle; Xu, Tianfan; Schargorodsky, Joel; Wulffraat, Noble • 2022

Thumbnail for User behavior modeling: Towards solving the duality of interpretability and precision

User behavior modeling: Towards solving the duality of interpretability and precision

Narang, Kanika

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 6 + 7?

© 2023 University of Illinois Board of Trustees

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Email

Password

(I forgot my password)