---
title: "EPiC series in computing 2017 — papers — Elamur Research"
description: "EPiC series in computing 2017 — papers: 1 paper in the Elamur Research library, with our summaries, ranked by citations."
canonical: "https://research.elamur.ai/free/en/venues/epic-series-in-computing/2017/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/epic-series-in-computing/2017/)

[home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / [EPiC series in computing](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/) / 2017

# EPiC series in computing 2017 — papers

The works of EPiC series in computing published in 2017 that our library holds: 1 work, listed below with the most cited first; each has a page with our summary, its key points and its references.

[**1** work in our library](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2017/#works) · [**139** citations of these works](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2017/#works)

## Works with our summary in our library (1)

The most cited first (OpenAlex citations plus our library's).

1. **[Deep Network Guided Proof Search](https://md.research.elamur.ai/free/en/papers/loos-2017-deep-network-guided-proof-search/) [EPiC series in computing](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/)**Sarah Loos, Geoffrey Irving, Christian Szegedy, et al.*2017 · 139 citations*

## Top topics

Topics of its works in our library, with the number of works on each.

[Reasoning (1)](https://md.research.elamur.ai/free/en/topics/reasoning/)

## Fields

[Computer Science (1)](https://md.research.elamur.ai/free/en/shelves/computer-science/)

## Top authors

Authors with a page who published here most often: their works here, and the citations of those works.

[🧑‍🔬**Cezary Kaliszyk**1 work here · 139 citations](https://md.research.elamur.ai/free/en/authors/cezary-kaliszyk/) · [🧑‍🔬**Christian Szegedy**1 work here · 139 citations](https://md.research.elamur.ai/free/en/authors/christian-szegedy/) · [🧑‍🔬**Geoffrey Irving**1 work here · 139 citations](https://md.research.elamur.ai/free/en/authors/geoffrey-irving/) · [🧑‍🔬**Sarah M. Loos**1 work here · 139 citations](https://md.research.elamur.ai/free/en/authors/sarah-m-loos/)

## Top institutions

Institutions on the bylines of its works here, by the number of works.

[🏢**Google** Mountain View · United States 1 work here](https://md.research.elamur.ai/free/en/companies/google/) · [🎓**Universität Innsbruck** Innsbruck · Austria 1 work here](https://md.research.elamur.ai/free/en/universities/universitat-innsbruck/) · [🎓**Carnegie Mellon University** Pittsburgh · United States 1 work here](https://md.research.elamur.ai/free/en/universities/carnegie-mellon-university/)

works and citations from OpenAlex and our library.

- [next → EPiC series in computing 2018](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/2018/)
- [↑ back to EPiC series in computing](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/)